package trabajoISW2.domain.models;


import tdg.contract.semanticAnnotations.Model;
import tdg.contract.semanticAnnotations.Query;
import trabajoISW2.domain.implementations.User;

@Model
public interface ILoginModel {
	

	@Query //Devuelve el usuario cuyo nombre de usuario es "username", null en caso de que no exista
	public User searchUser (String username);
	

}
